1. A paraconsistent decision-making method /
پدیدآورنده : Fábio Romeu de Carvalho, Jair Minoro Abe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
رده :
Q342
2. Algebraic and Logic Programming :
پدیدآورنده : edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
3. Argumentation Machines :
پدیدآورنده : edited by Chris Reed, Timothy J. Norman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
4. Argumentation in multi-agent systems :
پدیدآورنده : Peter McBurney, Iyad Rahwan, Simon Parsons (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Intelligent agents (Computer software), Congresses,Logic, Congresses
رده :
QA76
.
76
.
I58
A73
2010eb
5. Artificial Intelligence in Logic Design
پدیدآورنده : by Svetlana N. Yanushkevich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
6. Artificial intelligence in simulation
پدیدآورنده : FUTO,IVAN
کتابخانه: (طهران)
موضوع : ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
7. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده : Puppis, Gabriele
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
8. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
9. Automated Deduction -- Cade-13 :
پدیدآورنده : edited by M.A. McRobbie, J.K. Slaney.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
10. Automated Mathematical Induction
پدیدآورنده : edited by Hantao Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
11. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
12. Based Methods-Rigorous State
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematical logic. ; Artificial intelligence. ; Computer organization. ; Software engineering. ; Microprogramming?. ; Mathematical Logic and Formal Languages. ;
13. Beyond Two: Theory and Applications of Multiple-Valued Logic
پدیدآورنده : edited by Melvin Fitting, Ewa Orłowska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computer science.,Logic design.
14. Biomimetic and Biohybrid Systems :
پدیدآورنده : edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
رده :
T173
.
8
.
L58
2019
15. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
16. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
17. Computational Logic :
پدیدآورنده : edited by John W. Lloyd.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
9
.
A96
E358
1990
18. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
19. Constraint Solving and Language Processing
پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
20. Current trends on knowledge-based systems
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
006
.
3
C976
2017
21
